Uniform Companion for Large Lie Differential Fields of Characteristic Zero
نویسنده
چکیده
In this paper, we adapt the result of M. Tressl (see [3]) in order to show that there is a theory (UCLie,m) of Lie differential fields of characteristic zero, which serves as a model companion for every theory of large and Lie differential fields extending a model complete theory of pure fields. It allows us to introduce the Lie counterpart of classical theories of differential fields in several commuting derivations.
منابع مشابه
The Uniform Companion for Large Differential Fields of Characteristic 0
We show that there is a theory UC of differential fields (in several commuting derivatives) of characteristic 0, which serves as a model companion for every theory of large and differential fields extending a model complete theory of pure fields. As an application, we introduce differentially closed ordered fields, differentially closed p-adic fields and differentially closed pseudofinite fields.
متن کاملThe Model Companion of differential Fields with Free operators
A model companion is shown to exist for the theory of partial differential fields of characteristic zero equipped with free operators that commute with the derivations. The free operators here are those introduced in [R. Moosa and T. Scanlon, Model theory of fields with free operators in characteristic zero, Preprint 2013]. The proof relies on a new lifting lemma in differential algebra: a diff...
متن کاملModel Theory of Fields with Free Operators in Characteristic Zero
Generalising and unifying the known theorems for difference and differential fields, it is shown that for every finite free S-algebra D over a field A of characteristic zero the theory of D-fields has a model companion D -CF0 which is simple and satisfies the Zilber dichotomy for finite-dimensional minimal types.
متن کاملdifferentially closed fields of characteristic zero with a generic automorphism
Hrushovski showed that the theory of difference-differential fields of characteristic zero has a model-companion, which we shall denote DCFA. We give an axiomatization for DCFA and prove some important model-theoretic results as supersimplicity and elimination of imaginaries. We mention some properties of the fixed field and the constant field of a model of DCFA.
متن کاملClassification of Lie Subalgebras up to an Inner Automorphism
In this paper, a useful classification of all Lie subalgebras of a given Lie algebraup to an inner automorphism is presented. This method can be regarded as animportant connection between differential geometry and algebra and has many applications in different fields of mathematics. After main results, we have applied this procedure for classifying the Lie subalgebras of some examples of Lie al...
متن کامل